A Marvelous Extended Transaction Processing Model

A key flaw in previous software development environment research is the lack of a transaction model supporting fault tolerance, concurrency control, consistent publication of changes and user control of commit and abort for software development activities. The atomicity properties of the classical transaction model make it unsuitable for industrial software development efforts. We sketch an extended transaction model with a commit-serializability semantics and describe the application of this model to the existing MARVEL architecture for software development environments. MARVEL supports rule-based automation of software development activities and integrates commercial off-the-shelf tools. To appear in 11th World Computer Conference IFIP Congress ’89, Gerhard Ritter (ed.), Elsevier Science Publishers B.V., San Francisco CA, August 1989. *Supported by National Science Foundation grants CCR-8858029 and CCR-8802741, by grants from AT&T, DEC, IBM, Siemens, Sun and Xerox, by the Center for Advanced Technology and by the Center for Telecommunications Research.